Advanced Intelligent Computing Theories and Applications. With Aspects of Artificial Intelligence
The International Conference on Intelligent Computing (ICIC) was formed to provide an annual forum dedicated to the emerging ...
اقرأ المزيد
Artificial Neural Networks for the Modelling and Fault Diagnosis of Technical Processes
In this book, a wide spectrum of fault diagnosis techniques have been developed. A major category of fault diagnosis techniques ...
اقرأ المزيد
Fault Diagnosis of Analog Integrated Circuits
Fault Diagnosis of Analog Integrated Circuits is a textbook for advanced undergraduate and graduate level students as well ...
اقرأ المزيدModelling and Estimation Strategies for Fault Diagnosis of Non-Linear Systems
This monograph presents a variety of techniques that can be used for designing robust fault diagnosis schemes for non-linear ...
اقرأ المزيد
Runtime Verification
Runtime verification is a recent direction in formal methods research, which is complementary to such well-established formal ...
اقرأ المزيد
Theory and Applications of Satisfiability Testing - SAT 2007
Contains the papers presented at SAT 2007: 10th International Conference on Theory and Applications of Satis?ability Testing. ...
اقرأ المزيد
